Model theory of modules
نویسندگان
چکیده
منابع مشابه
Model theory of modules
The model theory of abelian groups was developed by Szmielew ([28] quantifier elimination and decidability) and Eklof & Fisher [4], who observed that K1saturated abelian groups are pure injective. Eklof & Fisher related the structure theory of pure injective abelian groups with their model theory. The extension of this theory to modules over arbitrary rings became possible after the work of Bau...
متن کاملModel theory and modules
The model-theoretic investigation of modules has led to ideas, techniques and results which are of algebraic interest, irrespective of their model-theoretic significance. It is these aspects that I will discuss in this article, although I will make some comments on the model theory of modules per se. Our default is that the term “module” will mean (unital) right module over a ring (associative ...
متن کاملdedekind modules and dimension of modules
در این پایان نامه، در ابتدا برای مدول ها روی دامنه های پروفر شرایط معادل به دست آورده ایم و خواصی از ددکیند مدول ها روی دامنه های پروفر مشخص کرده ایم. در ادامه برای ددکیند مدول های با تولید متناهی روی حلقه های به طور صحیح بسته شرایط معادل به دست آورده ایم و ددکیند مدول های ضربی را مشخص کرده ایم. گزاره هایی در مورد بعد ددکیند مدول ها بیان کرده ایم. در پایان، قضایای lying over و going down را برا...
15 صفحه اولModel Theory and Modules, Granada
These are brief notes to accompany a course of lectures on model theory, especially the shape it takes when applied to modules.
متن کاملSome model theory of sheaves of modules
We explore some topics in the model theory of sheaves of modules. First we describe the formal language that we use. Then we present some examples of sheaves obtained from quivers. These, and other examples, will serve as illustrations and as counterexamples. Then we investigate the notion of strong minimality from model theory to see what it means in this context. We also look briefly at the r...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1984
ISSN: 0168-0072
DOI: 10.1016/0168-0072(84)90014-9